Equipping IDEs with XML-Path Reasoning Capabilities
نویسندگان
چکیده
منابع مشابه
Extending a source-to-source compiler with XML capabilities
This paper presents an extension that adds XML capabilities to Cetus, a source-to-source compiler developed by Purdue University. In this work, the Cetus Intermediate Representation is converted into an XML DOM tree that, in turn, enables XML capabilities, such as searching speci c code features through XPath expressions. As an example, we write an XPath code to nd private and shared variables ...
متن کاملReasoning about CTL∗ with Graded Path Modalities
Graded path modalities count the number of paths satisfying a property, and generalize the existential (E) and universal (A) path modalities of CTL∗. The resulting logic is denoted GCTL∗, and is a very powerful logic since (as we show) it is equivalent to monadic path logic. We settle the complexity of the satisfiability problem of GCTL∗, i.e., 2EXPTIME-COMPLETE, and the complexity of the model...
متن کاملXML Transclusions: a Feasible Path
The idea of transclusion has been at the same time the strength and weakness of Xanadu: some people considered it as an extremely powerful mechanism to get any version of any fragment of any document in a global shared document space, others as a very complex solution too difficult to be actually implemented and delivered. We believe transclusions are still worth implementing and would allow de...
متن کاملExtended Path Expressions for XML
Query languages for XML often use path expressions to locate elements in XML documents. Path expressions are regular expressions such that underlying alphabets represent conditions on nodes. Path expressions represent conditions on paths from the root, but do not represent conditions on siblings, siblings of ancestors, and descendants of such siblings. In order to capture such conditions, we pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Internet Technology
سال: 2014
ISSN: 1533-5399,1557-6051
DOI: 10.1145/2602573